Optimal. Leaf size=339 \[ \frac {b d \cos \left (a+\frac {b \sqrt {-d e+c f}}{\sqrt {f}}\right ) \text {Ci}\left (\frac {b \sqrt {-d e+c f}}{\sqrt {f}}-b \sqrt {c+d x}\right )}{2 f^{3/2} \sqrt {-d e+c f}}-\frac {b d \cos \left (a-\frac {b \sqrt {-d e+c f}}{\sqrt {f}}\right ) \text {Ci}\left (\frac {b \sqrt {-d e+c f}}{\sqrt {f}}+b \sqrt {c+d x}\right )}{2 f^{3/2} \sqrt {-d e+c f}}-\frac {\sin \left (a+b \sqrt {c+d x}\right )}{f (e+f x)}+\frac {b d \sin \left (a+\frac {b \sqrt {-d e+c f}}{\sqrt {f}}\right ) \text {Si}\left (\frac {b \sqrt {-d e+c f}}{\sqrt {f}}-b \sqrt {c+d x}\right )}{2 f^{3/2} \sqrt {-d e+c f}}+\frac {b d \sin \left (a-\frac {b \sqrt {-d e+c f}}{\sqrt {f}}\right ) \text {Si}\left (\frac {b \sqrt {-d e+c f}}{\sqrt {f}}+b \sqrt {c+d x}\right )}{2 f^{3/2} \sqrt {-d e+c f}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.68, antiderivative size = 339, normalized size of antiderivative = 1.00, number of steps
used = 10, number of rules used = 6, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.273, Rules used = {3512, 3422,
3415, 3384, 3380, 3383} \begin {gather*} \frac {b d \cos \left (a+\frac {b \sqrt {c f-d e}}{\sqrt {f}}\right ) \text {CosIntegral}\left (\frac {b \sqrt {c f-d e}}{\sqrt {f}}-b \sqrt {c+d x}\right )}{2 f^{3/2} \sqrt {c f-d e}}-\frac {b d \cos \left (a-\frac {b \sqrt {c f-d e}}{\sqrt {f}}\right ) \text {CosIntegral}\left (\frac {b \sqrt {c f-d e}}{\sqrt {f}}+b \sqrt {c+d x}\right )}{2 f^{3/2} \sqrt {c f-d e}}+\frac {b d \sin \left (a+\frac {b \sqrt {c f-d e}}{\sqrt {f}}\right ) \text {Si}\left (\frac {b \sqrt {c f-d e}}{\sqrt {f}}-b \sqrt {c+d x}\right )}{2 f^{3/2} \sqrt {c f-d e}}+\frac {b d \sin \left (a-\frac {b \sqrt {c f-d e}}{\sqrt {f}}\right ) \text {Si}\left (\frac {\sqrt {c f-d e} b}{\sqrt {f}}+\sqrt {c+d x} b\right )}{2 f^{3/2} \sqrt {c f-d e}}-\frac {\sin \left (a+b \sqrt {c+d x}\right )}{f (e+f x)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 3380
Rule 3383
Rule 3384
Rule 3415
Rule 3422
Rule 3512
Rubi steps
\begin {align*} \int \frac {\sin \left (a+b \sqrt {c+d x}\right )}{(e+f x)^2} \, dx &=\frac {2 \text {Subst}\left (\int \frac {x \sin (a+b x)}{\left (e-\frac {c f}{d}+\frac {f x^2}{d}\right )^2} \, dx,x,\sqrt {c+d x}\right )}{d}\\ &=-\frac {\sin \left (a+b \sqrt {c+d x}\right )}{f (e+f x)}+\frac {b \text {Subst}\left (\int \frac {\cos (a+b x)}{e-\frac {c f}{d}+\frac {f x^2}{d}} \, dx,x,\sqrt {c+d x}\right )}{f}\\ &=-\frac {\sin \left (a+b \sqrt {c+d x}\right )}{f (e+f x)}+\frac {b \text {Subst}\left (\int \left (\frac {\sqrt {-d e+c f} \cos (a+b x)}{2 \left (e-\frac {c f}{d}\right ) \left (\sqrt {-d e+c f}-\sqrt {f} x\right )}+\frac {\sqrt {-d e+c f} \cos (a+b x)}{2 \left (e-\frac {c f}{d}\right ) \left (\sqrt {-d e+c f}+\sqrt {f} x\right )}\right ) \, dx,x,\sqrt {c+d x}\right )}{f}\\ &=-\frac {\sin \left (a+b \sqrt {c+d x}\right )}{f (e+f x)}-\frac {(b d) \text {Subst}\left (\int \frac {\cos (a+b x)}{\sqrt {-d e+c f}-\sqrt {f} x} \, dx,x,\sqrt {c+d x}\right )}{2 f \sqrt {-d e+c f}}-\frac {(b d) \text {Subst}\left (\int \frac {\cos (a+b x)}{\sqrt {-d e+c f}+\sqrt {f} x} \, dx,x,\sqrt {c+d x}\right )}{2 f \sqrt {-d e+c f}}\\ &=-\frac {\sin \left (a+b \sqrt {c+d x}\right )}{f (e+f x)}-\frac {\left (b d \cos \left (a-\frac {b \sqrt {-d e+c f}}{\sqrt {f}}\right )\right ) \text {Subst}\left (\int \frac {\cos \left (\frac {b \sqrt {-d e+c f}}{\sqrt {f}}+b x\right )}{\sqrt {-d e+c f}+\sqrt {f} x} \, dx,x,\sqrt {c+d x}\right )}{2 f \sqrt {-d e+c f}}-\frac {\left (b d \cos \left (a+\frac {b \sqrt {-d e+c f}}{\sqrt {f}}\right )\right ) \text {Subst}\left (\int \frac {\cos \left (\frac {b \sqrt {-d e+c f}}{\sqrt {f}}-b x\right )}{\sqrt {-d e+c f}-\sqrt {f} x} \, dx,x,\sqrt {c+d x}\right )}{2 f \sqrt {-d e+c f}}+\frac {\left (b d \sin \left (a-\frac {b \sqrt {-d e+c f}}{\sqrt {f}}\right )\right ) \text {Subst}\left (\int \frac {\sin \left (\frac {b \sqrt {-d e+c f}}{\sqrt {f}}+b x\right )}{\sqrt {-d e+c f}+\sqrt {f} x} \, dx,x,\sqrt {c+d x}\right )}{2 f \sqrt {-d e+c f}}-\frac {\left (b d \sin \left (a+\frac {b \sqrt {-d e+c f}}{\sqrt {f}}\right )\right ) \text {Subst}\left (\int \frac {\sin \left (\frac {b \sqrt {-d e+c f}}{\sqrt {f}}-b x\right )}{\sqrt {-d e+c f}-\sqrt {f} x} \, dx,x,\sqrt {c+d x}\right )}{2 f \sqrt {-d e+c f}}\\ &=\frac {b d \cos \left (a+\frac {b \sqrt {-d e+c f}}{\sqrt {f}}\right ) \text {Ci}\left (\frac {b \sqrt {-d e+c f}}{\sqrt {f}}-b \sqrt {c+d x}\right )}{2 f^{3/2} \sqrt {-d e+c f}}-\frac {b d \cos \left (a-\frac {b \sqrt {-d e+c f}}{\sqrt {f}}\right ) \text {Ci}\left (\frac {b \sqrt {-d e+c f}}{\sqrt {f}}+b \sqrt {c+d x}\right )}{2 f^{3/2} \sqrt {-d e+c f}}-\frac {\sin \left (a+b \sqrt {c+d x}\right )}{f (e+f x)}+\frac {b d \sin \left (a+\frac {b \sqrt {-d e+c f}}{\sqrt {f}}\right ) \text {Si}\left (\frac {b \sqrt {-d e+c f}}{\sqrt {f}}-b \sqrt {c+d x}\right )}{2 f^{3/2} \sqrt {-d e+c f}}+\frac {b d \sin \left (a-\frac {b \sqrt {-d e+c f}}{\sqrt {f}}\right ) \text {Si}\left (\frac {b \sqrt {-d e+c f}}{\sqrt {f}}+b \sqrt {c+d x}\right )}{2 f^{3/2} \sqrt {-d e+c f}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains complex when optimal does not.
time = 2.24, size = 397, normalized size = 1.17 \begin {gather*} \frac {i d e^{-i a} \left (-\frac {2 e^{-i b \sqrt {c+d x}} \sqrt {f}}{d e+d f x}-\frac {i b e^{-\frac {i b \sqrt {-d e+c f}}{\sqrt {f}}} \text {Ei}\left (-i b \left (-\frac {\sqrt {-d e+c f}}{\sqrt {f}}+\sqrt {c+d x}\right )\right )}{\sqrt {-d e+c f}}+\frac {i b e^{\frac {i b \sqrt {-d e+c f}}{\sqrt {f}}} \text {Ei}\left (-i b \left (\frac {\sqrt {-d e+c f}}{\sqrt {f}}+\sqrt {c+d x}\right )\right )}{\sqrt {-d e+c f}}+e^{2 i a} \left (\frac {2 e^{i b \sqrt {c+d x}} \sqrt {f}}{d e+d f x}-\frac {i b e^{\frac {i b \sqrt {-d e+c f}}{\sqrt {f}}} \text {Ei}\left (i b \left (-\frac {\sqrt {-d e+c f}}{\sqrt {f}}+\sqrt {c+d x}\right )\right )}{\sqrt {-d e+c f}}+\frac {i b e^{-\frac {i b \sqrt {-d e+c f}}{\sqrt {f}}} \text {Ei}\left (i b \left (\frac {\sqrt {-d e+c f}}{\sqrt {f}}+\sqrt {c+d x}\right )\right )}{\sqrt {-d e+c f}}\right )\right )}{4 f^{3/2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(1830\) vs.
\(2(273)=546\).
time = 0.07, size = 1831, normalized size = 5.40
method | result | size |
derivativedivides | \(\text {Expression too large to display}\) | \(1831\) |
default | \(\text {Expression too large to display}\) | \(1831\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [C] Result contains complex when optimal does not.
time = 0.47, size = 446, normalized size = 1.32 \begin {gather*} -\frac {{\left (i \, d f x + i \, d e\right )} \sqrt {-\frac {b^{2} c f - b^{2} d e}{f}} {\rm Ei}\left (i \, \sqrt {d x + c} b - \sqrt {-\frac {b^{2} c f - b^{2} d e}{f}}\right ) e^{\left (i \, a + \sqrt {-\frac {b^{2} c f - b^{2} d e}{f}}\right )} + {\left (-i \, d f x - i \, d e\right )} \sqrt {-\frac {b^{2} c f - b^{2} d e}{f}} {\rm Ei}\left (i \, \sqrt {d x + c} b + \sqrt {-\frac {b^{2} c f - b^{2} d e}{f}}\right ) e^{\left (i \, a - \sqrt {-\frac {b^{2} c f - b^{2} d e}{f}}\right )} + {\left (-i \, d f x - i \, d e\right )} \sqrt {-\frac {b^{2} c f - b^{2} d e}{f}} {\rm Ei}\left (-i \, \sqrt {d x + c} b - \sqrt {-\frac {b^{2} c f - b^{2} d e}{f}}\right ) e^{\left (-i \, a + \sqrt {-\frac {b^{2} c f - b^{2} d e}{f}}\right )} + {\left (i \, d f x + i \, d e\right )} \sqrt {-\frac {b^{2} c f - b^{2} d e}{f}} {\rm Ei}\left (-i \, \sqrt {d x + c} b + \sqrt {-\frac {b^{2} c f - b^{2} d e}{f}}\right ) e^{\left (-i \, a - \sqrt {-\frac {b^{2} c f - b^{2} d e}{f}}\right )} + 4 \, {\left (c f - d e\right )} \sin \left (\sqrt {d x + c} b + a\right )}{4 \, {\left (c f^{3} x - d f e^{2} - {\left (d f^{2} x - c f^{2}\right )} e\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\sin {\left (a + b \sqrt {c + d x} \right )}}{\left (e + f x\right )^{2}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {\sin \left (a+b\,\sqrt {c+d\,x}\right )}{{\left (e+f\,x\right )}^2} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________